GtkPaned {
// This is actually the invisible area of the paned separator, not a margin...
- margin: 0 16px 16px 0; //drag area of the separator
+ margin: 0 8px 8px 0; //drag area of the separator
&:dir(rtl) {
margin-right: 0;
- margin-left: 16px;
+ margin-left: 8x;
}
}
color: #383e3e; }
GtkPaned {
- margin: 0 16px 16px 0; }
+ margin: 0 8px 8px 0; }
GtkPaned:dir(rtl) {
margin-right: 0;
- margin-left: 16px; }
+ margin-left: 8x; }
.pane-separator {
background-image: linear-gradient(to bottom, #1c1f1f); }
color: #dfdfdf; }
GtkPaned {
- margin: 0 16px 16px 0; }
+ margin: 0 8px 8px 0; }
GtkPaned:dir(rtl) {
margin-right: 0;
- margin-left: 16px; }
+ margin-left: 8x; }
.pane-separator {
background-image: linear-gradient(to bottom, #a1a1a1); }